Java bytecode - PDFSEARCH.IO - Document Search Engine

Java bytecode
Results: 201

#	Item
41	Retargeting Android Applications to Java Bytecode Damien Octeau Somesh Jha Patrick McDaniel Add to Reading List Source URL: siis.cse.psu.edu Language: English - Date: 2016-01-26 11:00:00 Computing Android Java virtual machine Java platform Cross-platform software Object-oriented programming languages Dalvik Java bytecode Bytecode Java Android Runtime Instruction set
42	Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting M. Brockschmidt, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany RTA 2011, Novi Sad Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59
43	Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting∗ Marc Brockschmidt, Carsten Otto, Jürgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59
44	A Non-Null Annotation Inferencer for Java Bytecode ∗ Laurent Hubert CNRS/IRISA Add to Reading List Source URL: www.trebuh.net Language: English - Date: 2016-01-16 09:07:20
45	Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59
46	Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:20
47	NIT: a non-null Annotation Inferencer for Java Bytecode L a u r e n t H u b e rt Add to Reading List Source URL: www.trebuh.net Language: English - Date: 2016-01-16 09:07:20
48	Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59
49	Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59

UPDATE